Theory and Practice of Logic Programming
نویسندگان
چکیده
Gringo MARTIN GEBSER∗ Aalto University, HIIT, Finland University of Potsdam, Germany [email protected] AMELIA HARRISON† Univeristy of Texas at Austin, USA [email protected] ROLAND KAMINSKI∗ University of Potsdam, Germany [email protected] VLADIMIR LIFSCHITZ† Univeristy of Texas at Austin, USA [email protected] TORSTEN SCHAUB∗‡ University of Potsdam, Germany INRIA Rennes, France [email protected] submitted 1 January 2003; revised 1 January 2003; accepted 1 January 2003
منابع مشابه
Nurse rostering using fuzzy logic: A case study
In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...
متن کاملA Single Machine Capacitated Production Planning Problem Under Uncertainty: A Grey Linear Programming Approach
The production planning is an important problem in most of manufacturing systems in practice. Unlike many researches existing in literature, this problem encounters with great uncertainties in parameters and input data. In this paper, a single machine capacitated production planning problem is considered and a linear programming formulation is presented. The production costs are assumed to be u...
متن کاملA Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملA Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملAn enhanced reliability-oriented workforce planning model for process industry using combined fuzzy goal programming and differential evolution approach
This paper draws on the “human reliability” concept as a structure for gaining insight into the maintenance workforce assessment in a process industry. Human reliability hinges on developing the reliability of humans to a threshold that guides the maintenance workforce to execute accurate decisions within the limits of resources and time allocations. This concept offers a worthwhile point of de...
متن کاملEvaluating Construction Projects by a New Group Decision-Making Model Based on Intuitionistic Fuzzy Logic Concepts
Select an appropriate project is a main key for contractors to increase their profits. In practice, in this area the uncertainty and imprecise of the involved parameters is so high. Therefore, considering fuzzy sets theory to deal with uncertainly is more appreciate. The aim of this paper is present a multi-criteria group decision-making model under an intuitionistic fuzzy set environment. Henc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015